Input $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$(${\it Sys}$(valid)$\mid$input{-}dcdr\{i:l\}(${\it es}$;${\it Cmd}$;${\it Sys}$))